\relax 
\citation{Highsmith2001}
\citation{Wolff12}
\citation{Black09}
\citation{Howe2006}
\citation{Vukovic2009}
\citation{Woodcock2009a}
\citation{Ball2004}
\citation{Security2011}
\citation{RTCA11a}
\citation{Gigante2012}
\citation{swebok2004}
\citation{Boehm2010}
\citation{Meyer}
\@writefile{toc}{\contentsline {section}{\numberline {I}Motivations}{1}}
\newlabel{sec:intro}{{I}{1}}
\citation{Highsmith2001}
\citation{Selic2009a}
\citation{Godfrey2008}
\@writefile{toc}{\contentsline {section}{\numberline {II}The Maintainable-by-Construction Principle}{2}}
\newlabel{sec:mbc}{{II}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {III}The Maintainable-by-Construction Methodology}{2}}
\newlabel{sec:msem}{{III}{2}}
\citation{Bollin13}
\citation{Bollin14}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces  The MSEM software (re-)engineering cycle\relax }}{3}}
\providecommand*\caption@xref[2]{\@setref\relax\@undefined{#1}}
\newlabel{fig:MSEM}{{1}{3}}
\citation{Byrne1992}
\citation{Chikofsky1990}
\citation{Mens2004}
\citation{Abadi2009}
\citation{Bohem2010}
\citation{Boehm2010b}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces  Summary of the most important artifacts produced by the Maintainable-by-Construction Methodology.\relax }}{4}}
\newlabel{fig:MSEM-data}{{2}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {\unhbox \voidb@x \hbox {III-A}}MSEM for evolving software}{4}}
\citation{Meyer}
\citation{navet2010modeling}
\citation{...}
\citation{scxml}
\citation{Campana2008}
\citation{Campana2010}
\@writefile{toc}{\contentsline {section}{\numberline {IV}A Pilot Project}{5}}
\newlabel{sec:casestudy}{{IV}{5}}
\newlabel{sec:cs-intro}{{IV}{5}}
\@writefile{lot}{\contentsline {table}{\numberline {I}{\ignorespaces Statistics for the initial software system\relax }}{6}}
\newlabel{tab:system_2004}{{I}{6}}
\@writefile{lot}{\contentsline {table}{\numberline {II}{\ignorespaces Development times (in weeks) for the case study\relax }}{6}}
\newlabel{tab:times}{{II}{6}}
\citation{Boehm2006}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces  Overview of the XAL model after the first restructuring -- making the complexity explicit.\relax }}{7}}
\newlabel{fig:1st_reeng}{{3}{7}}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces Two XAL models after the $2^\textit  {nd}$ reengineering round.\relax }}{7}}
\newlabel{fig:2nd_reeng}{{4}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {V}Related work}{7}}
\newlabel{sec:rw}{{V}{7}}
\@writefile{lot}{\contentsline {table}{\numberline {III}{\ignorespaces  Design V. \& V. of first reengineering\relax }}{7}}
\newlabel{tab:spec}{{III}{7}}
\citation{Woodcock2009a}
\citation{Kent}
\citation{Deursen}
\citation{Mellor2002}
\citation{Deursen}
\citation{Hailpern2006}
\citation{Selic2003}
\citation{Ambler2003}
\citation{Yu2005}
\citation{Ko2009}
\@writefile{lot}{\contentsline {table}{\numberline {IV}{\ignorespaces Statistics for the reengineered ticket controller\relax }}{8}}
\newlabel{tab:system_20082012}{{IV}{8}}
\citation{Leotta2012a}
\citation{Nordio}
\citation{Hawthorne}
\citation{Nordio}
\citation{Pastor2008}
\citation{Deursen}
\citation{Hailpern2006}
\@writefile{toc}{\contentsline {section}{\numberline {VI}Discussion}{9}}
\newlabel{sec:discussion}{{VI}{9}}
\@writefile{toc}{\contentsline {section}{\numberline {VII}Outlook}{9}}
\newlabel{sec:outlook}{{VII}{9}}
\bibstyle{abbrv}
\bibdata{2015-icst}
\bibcite{Abadi2009}{1}
\bibcite{swebok2004}{2}
\bibcite{Ambler2003}{3}
\bibcite{Ball2004}{4}
\bibcite{scxml}{5}
\bibcite{Security2011}{6}
\bibcite{Black09}{7}
\bibcite{Boehm2006}{8}
\bibcite{Boehm2010}{9}
\bibcite{Bohem2010}{10}
\bibcite{Boehm2010b}{11}
\bibcite{Bollin13}{12}
\bibcite{Bollin14}{13}
\bibcite{Byrne1992}{14}
\bibcite{Campana2008}{15}
\bibcite{Chikofsky1990}{16}
\bibcite{Deursen}{17}
\bibcite{Highsmith2001}{18}
\bibcite{Gigante2012}{19}
\bibcite{Godfrey2008}{20}
\bibcite{Hailpern2006}{21}
\bibcite{Hawthorne}{22}
\bibcite{Howe2006}{23}
\bibcite{Kent}{24}
\bibcite{Ko2009}{25}
\bibcite{Leotta2012a}{26}
\bibcite{Mellor2002}{27}
\bibcite{Mens2004}{28}
\bibcite{Meyer}{29}
\bibcite{navet2010modeling}{30}
\bibcite{Nordio}{31}
\bibcite{Pastor2008}{32}
\bibcite{RTCA11a}{33}
\bibcite{Campana2010}{34}
\bibcite{Selic2003}{35}
\bibcite{Selic2009a}{36}
\bibcite{Vukovic2009}{37}
\bibcite{Wolff12}{38}
\bibcite{Woodcock2009a}{39}
\bibcite{Yu2005}{40}
\@writefile{toc}{\contentsline {section}{References}{10}}
